Checking Compatibility of a Producer and a Consumer
نویسندگان
چکیده
This paper addresses the problem of identifying incompatibilities between two programs that operate in a producer/consumer relationship. It describes the techniques that are incorporated in a tool called PCCA (Producer-Consumer Conformance Analyzer), which attempts to (i) determine whether the consumer is prepared to accept all messages that the producer can emit, or (ii) find a counterexample: a message that the producer can emit and the consumer will reject.
منابع مشابه
Static Analysis for Checking Data Format Compatibility of Programs
Large software systems are developed by composing multiple programs. If the programs manipulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs operating over headers of network packets, fil...
متن کاملSupply Chain Analysis of Fresh Guava ( A Case Study )
The present study was focused on supply chain analysis of fresh guava in order to evaluate existing marketing supply chains (SC1: Producer - Consumer, SC2: Producer - Retailer - Consumer, SC3: Producer - Commission agent - Retailer - Consumer, SC4: Producer - Commission agent - Wholesaler - Retailer - Consumer) for two variety (allahabad safeda and apple guava) of guava. The gross marketing pri...
متن کاملThe Impacts of Climate Change on Agriculture Hormozgan Province and Compatibility With it (Cucumber and Watermelon product)
Introduction and Background: The agricultural sector is one of the most important economic sectors due to extensive interaction with the environment, the greatest impact of climate change takes effect. The agricultural sector affects climate change and affects climate change. Climate change, on the one hand, affects agricultural performance and, on the other hand, affects the price of produ...
متن کاملStudy the Effect of Meat Market Liberalization on Rural Welfare in Iran
This study aims to study the effect of elimination of government intervention and liberalizationin meat market in rural area in Iran on consumer welfare with time series data for 1981-2007.An alternative partial equilibrium model was developed to examine the welfare effect of meattrade liberalization. Result show that on producer side, government budget (subsidy onproduction), foreign exchange ...
متن کاملAcceptance sampling for attributes via hypothesis testing and the hypergeometric distribution
This paper questions some aspects of attribute acceptance sampling in light of the original concepts of hypothesis testing from Neyman and Pearson (NP). Attribute acceptance sampling in industry, as developed by Dodge and Romig (DR), generally follows the international standards of ISO 2859, and similarly the Brazilian standards NBR 5425 to NBR 5427 and the United States Standards ANSI/ASQC Z1....
متن کامل